Belief revision within fragments of propositional logic
نویسندگان
چکیده
منابع مشابه
Belief Revision within Fragments of Propositional Logic
Belief revision has been extensively studied in the framework of propositional logic, but just recently revision within fragments of propositional logic has gained attention. Hereby it is not only the belief set and the revision formula which are given within a certain language fragment, but also the result of the revision has to be located in the same fragment. So far, research in this directi...
متن کاملPropositional Dynamic Logic as a Logic of Belief Revision
This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL ...
متن کاملDeviation in Belief Change on Fragments of Propositional Logic
It is known that prominent fragments of propositional logic are not closed under standard belief change operators. That is, applying such operators to knowledge bases in a fragment may produce results that have no equivalent in the same language. However, the potential range of such a deviation has not been investigated yet. In this paper, we give a systematic study of this problem by consideri...
متن کاملPropositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision
This talk shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent knowledge update and belief revision, or as a logic of preference change, if the basic relations are read as preferences instead of plausibilities. Our point of departure is the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, ...
متن کاملLost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging
Despite the importance of propositional logic in artificial intelligence, the notion of language independence in the propositional setting (not to be confound with syntax independence) has not received much attention so far. In this paper, we define language independence for a propositional operator as robustness w.r.t. symbol translation. We provide a number of characterizations results for su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2014
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2013.08.002